formal premise

英 [ˈfɔːml ˈpremɪs] 美 [ˈfɔːrml ˈpremɪs]

【计】形式前提

计算机



双语例句

  1. Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.
    持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。
  2. Through analyzing the formal description and the semantics structure of client requirement, making a premise of individual character product features information grammar, the client requirement description language which is apt to comprehension by computer is constructed.
    通过对客户的需求进行形式化的描述和语义结构的分析,以个性化产品特征信息文法为前提,构建计算机易于理解的客户需求描述语言。
  3. Issued, five baht money is designed in order to indicate their formal status, but invisible among the five baht for the recovery of money provided a good premise.
    其发行五铢钱的目的,是为了表明自己的正统地位,但无形之中又为五铢钱的恢复提供了一个很好的前提。
  4. Finally, by means of empirical methods to verify the formal premise of theoretical analysis.
    最后运用协整技术验证理论分析的规范假设。
  5. The network is a formal living real performance. Therefore, the criticism on the premise of the Internet age is intended to illustrate what conditions for the network to survive, that is, to clarify the limits of survival in this era.
    网络就是关于一种形式化生活最真实的表现。因此,对网络时代前提的批判就是旨在说明是什么提供了网络化生存的条件,也就是在澄清这个时代的生存的限度。
  6. But because formal logic just assures there is right logic in the reasoning process, whether the reasoning conclusion is right has to depend on whether the reasoning premise is right.
    既往的冲突法理论都以形式逻辑作为推理形式,由于形式逻辑只是确保推理过程正确的逻辑,推理结论正确与否必须依赖于推理前提的正确与否。
  7. On the other hand, just like the formal norm, the rights and obligations adjusting mechanism which the folk law contained, is also a mechanism of interest confirmation, distribution and adjustment. This mechanism is the premise for the beginning of interests balancing.
    同时,民间法所具有的权利义务调整机制,像法律规范一样,也是一种利益的确认、分配、调整机制,这为利益衡量的展开准备了必要的前提。